Failed to solve the following constraints:
  _12 = f (g (loop y)) : A (blocked on _12)
Unsolved metas at the following locations:
  Issue4120-loop.agda:17,7-8
  Issue4120-loop.agda:20,12-16
